- процесс доказательства теоремы
- theorem-proving process мат.
Русско-английский научно-технический словарь Масловского. 2015.
процесс доказательства теоремы
Look at other dictionaries:
Процесс — (Process) Определение процесса, виды и типы процессов Информация об определении процесса, виды и типы процессов Содержание Содержание Определение Исторический Бизнес процесс Тепловой процесс Адиабатический процесс Изохорный процесс Изобарный… … Энциклопедия инвестора
ПРЕДЕЛЬНЫЕ ТЕОРЕМЫ — теории вероятностей общее название ряда теорем теории вероятностей, указывающих условия возникновения тех или иных закономерностей в результате действия большого числа случайных факторов. Первые П. т., установленные Я. Бернулли (J. Bernoulli,… … Математическая энциклопедия
Корреляция — (Correlation) Корреляция это статистическая взаимосвязь двух или нескольких случайных величин Понятие корреляции, виды корреляции, коэффициент корреляции, корреляционный анализ, корреляция цен, корреляция валютных пар на Форекс Содержание… … Энциклопедия инвестора
Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… … Энциклопедия инвестора
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Искусственный интеллект (artificial intelligence) — В самом широком смысле И. и. это абстрактная теория челов., животного и машинного познания. Конечная цель ее развития создание единой теория познания. Как теорет. психология. И. и. представляет собой продолжение исследовательской программы,… … Психологическая энциклопедия
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
пропозициональная логика — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
Конструктивные способы определения вещественного числа — При конструктивном подходе к определению вещественного числа вещественные числа строят, исходя из рациональных, которые считают заданными. Во всех трёх нижеизложенных способах за основу берутся рациональные числа и конструируются новые объекты,… … Википедия
ПРОГРАММИРОВАНИЕ — 1) процесс составления программы, плана действий; 2) дисциплина, изучающая методы и приемы составления программ. С определенной долей условности П. как дисциплина делится на программирование теоретическое, изучающее математич. абстракции программ … Математическая энциклопедия
понимание — 1) способность постичь смысл и значение чего либо и достигнутый благодаря этому результат; 2) вызванное внешними или внутренними воздействиями специфическое … Большая психологическая энциклопедия
